test(compositor): [#227] оракул root-matched recurrence — вердикт NO-GO - #283
Conversation
… NO-GO капитализация Вердикт по GO/NO-GO-контракту issue: NO-GO для production. - GO-часть подтверждена: inner loop ×13 (256/1024/4096), e2e cold compile 200 пружин 12.05→8.09 ms (−33%), дрейф ≤1e-7 (4 порядка запаса к tol/2). - NO-GO-условие сработало на size: 5 итераций гольфа (Виет P, √P, слитый цикл, α-Δ алгебра, oscillatory-only) — минимум +213 B gz на три гейта (17704>17500 mixed, 6699>6600 stagger, 15644>15600 фасад); код не финансируется, пороги не поднимаются (INV-17, политика 2026-08-15). - Оракул сохранён: 7 конфигураций × 3 сетки, независимые коэффициенты из полюсов; отклонённые альтернативы задокументированы (S,P из сэмплов — дрейф до 2e-5; P-Виет + S из одного сэмпла — расходится до 2.0).
|
Warning Review limit reachedYou’ve reached a temporary PR review limit under our Fair Usage Limits Policy. Next review available in: 44 minutes Limit details: You’ve used the included review currently available. Your 105 included PR review attempts over the past 7 days set your current allowance at 1 review per hour. Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available. How can I continue?After more reviews become available, a review can be triggered using the To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews. How do review limits work?CodeRabbit enforces per-developer PR review limits within each organization. For paid Pro and Pro+ reviews, CodeRabbit uses a developer's included PR review attempts over the past 7 days to set the current hourly allowance. At typical activity levels, the full plan allowance applies. Higher sustained activity can lower the allowance until earlier attempts leave the 7-day window. Please refer docs for additional details. Review details⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Plus Run ID: 📒 Files selected for processing (1)
Comment |
Вердикт по GO/NO-GO-контракту #227: NO-GO для production
Issue сам предписывает: «если выигрыш не финансирует code size — сохранить benchmark/oracle и не оставлять production complexity». Ровно этот случай.
GO-часть подтверждена измерениями
NO-GO-условие сработало на size
5 итераций гольфа production-кода (Виет для P, √P-форма, слитый цикл, α-Δ алгебра settle-боундов, oscillatory-only ветвь): минимальная цена +213 B gz сразу на ТРИ гейта (mixed 17704>17500, stagger-capability 6699>6600, фасад 15644>15600). Код не финансируется выигрышем; пороги не поднимаются (политика 2026-08-15).
Что входит в PR (test-only)
Независимый оракул
segmenter-recurrence-oracle: рекуррентные коэффициенты строятся из полюсов независимо от production-кода, сравнение против аналитического сэмплера — 7 конфигураций × 3 сетки. Капитализация исследования: любой будущий заход на #227 (например, при появлении size-headroom от #235/#239) стартует с готового оракула, а не с нуля.Отклонённые альтернативы (доказательно)
Коэффициенты обязаны строиться из полюсов — класс зафиксирован в оракуле.
Гейты
Тесты 3978 passed локально; production-код не тронут (size PASS тривиально).
Контекст плана
Узел COMP-06 трека lab-motion-production → закрывается вердиктом prove-or-refute (гейт плана допускает формальное опровержение как exit).